EXTRA_DIST = \
	mpirun-mic
